Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
501	Specification of FlatZinc Version 1.1 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-08-26 04:03:22 C programming language Data types C syntax Source code Array data type ATS Literal Constraint programming OptimJ Computer programming Software engineering Computing
502	PlDoc: Wiki style Literate Programming for Prolog Jan Wielemaker1 and Anjo Anjewierden2 1 2 Add to Reading List Source URL: www.swi-prolog.org Language: English Constraint programming Internet standards Prolog Logtalk ECLiPSe Literate programming Comment Javadoc Base64 Computing Software Computer programming
503	Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:38 Fluent Constraint programming Algebra FO Variable Distributed constraint optimization Mathematics Theoretical computer science Logic in computer science
504	Optimization methods and their applications in DSP Ivan Tashev Principal Architect Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-11-05 21:37:12 Convex optimization Quadratic programming Linear programming Constraint Nonlinear programming Global optimization Multidisciplinary design optimization Mathematical optimization Mathematical analysis Numerical analysis
505	Market based mechanisms for optimization (Master thesis) Supervisor: Brammert Ottens (Artificial Intelligence Laboratory) November 16, 2009 Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2009-11-16 02:20:57 Computing Inter-process communication KDE Platform Software Distributed constraint optimization DCOP Constraint satisfaction Computer programming Solver Constraint programming Operations research Mathematical optimization
506	Converting MiniZinc to FlatZinc Version 1.5 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
507	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
508	Converting MiniZinc to FlatZinc Version 1.0 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
509	Converting MiniZinc to FlatZinc Version 1.6 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing
510	Converting MiniZinc to FlatZinc Version 1.2 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing

UPDATE